How to build your own paraconsistent logic: an introduction to the Logics of Formal (In)Consistency

نویسنده

  • WALTER A. CARNIELLI
چکیده

The logics of formal inconsistency (LFIs) are logics that allow to explicitly formalize the concepts of consistency and inconsistency by means of formulas of their language. Contradictoriness, on the other hand, can always be expressed in any logic, provided its la nguage includes a symbol for negation. Besides being able to represent the distinction between contradiction and inconsistency, LFIs are non-explosive logics, in the sense that a contradiction does not entail arbitrary statements, but yet are gently explosive, in the sense that, adjoining the additional requirement of consistency, then contradictoriness does cause explosion. Several logics can be seen as LFIs, among them the great majority of paraconsistent logics developed under the Brazilian tradition, as well as the sytems developed under the Polish tradition. We present here their semantical interpretations by way of possible-translations semantics, stressing their significance and applications to human reasoning and machine reasoning. We also give tableaux systems for some important LFIs: bC, Ci and LFI1.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Walter Carnielli , Marcelo E . Coniglio and João Marcos Logics of Formal Inconsistency

In traditional logic, contradictoriness (the presence of contradictions in a theory or in a body of knowledge) and triviality (the fact that such a theory entails all possible consequences) are assumed inseparable, granted that negation is available. This is an effect of an ordinary logical feature known as ‘explosiveness’: According to it, from a contradiction ‘α and ¬α’ everything is derivabl...

متن کامل

On logics of formal inconsistency and fuzzy logics

Paraconsistency is the study of logics (as deductive systems) having a negation operator ¬ such that not every contradiction {φ,¬φ} trivializes or explodes. In other words, a paraconsistent logic is a logic having at least a contradictory, non-trivial theory. Among the plethora of paraconsistent logics proposed in the literature, the so-called Logics of Formal Inconsistency (LFIs), proposed in ...

متن کامل

A Paraconsistent Higher Order Logic

Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order ...

متن کامل

ar X iv : c s / 02 07 08 8 v 1 [ cs . L O ] 2 5 Ju l 2 00 2 A Paraconsistent Higher Order Logic ⋆

Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order ...

متن کامل

EQ-logics with delta connective

In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002